language, product A version of Prolog developed by

Quintus. Development of Quintus Prolog had transferred to

the Swedish Institute of Computer Science by December 1998.